Object - Oriented Real Time Systems Modeling and Veri cationDavid
نویسندگان
چکیده
An object-oriented real time systems conceptual modeling approach is described. In this approach, each object is speciied by an object type, consisting of su-pertypes (inheritance), component types (aggregation), attributes, operations, static constraints, and timed temporal constraints. An object type speciication de-nes a theory of a type of objects. In particular, the static constraints deene the valid states of the objects, the operations deene the valid state transitions each consisting of a set of execution rules. Each execution rule consists of a precondition and a postcondition. The timed temporal constraints deene the permissible sequences of state transitions. Atomic and composite object state diagrams (AOSD and COSD) are then constructed from a formal speciication for veriication of the satissability of the timed temporal constraints.
منابع مشابه
Modelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملساختار دهی آنی دادههای مکانی ورودی GIS با تأکید بر عارضه راه
An important issue in implementation of a GIS system is preparation of data to be entered in GIS. To produce spatial data for GIS using photogrammetric techniques, conventional method is to apply photogrammetric and GIS systems individually (off-line procedure). This approach is costly, time consuming and somehow unreliable due to the fact that 3D photogrammetric model is not available at the ...
متن کاملAutomatically verifying an object-oriented specification of the Steam-Boiler system
Correctness is a desired property of industrial software systems. Although the employment of formal methods and their veri(cation techniques in embedded real-time systems has started to be a common practice, the same cannot be said about object-oriented software. This paper presents an experiment of a technique for the automated veri(cation of a subset of the object-oriented language OBject LOG...
متن کامل